def length[A]: List[A] => Int